Evaluates the expression and return a simplified expression.